An Algorithmic Framework for Synthesis of Concurrent Programs E. Allen Emerson and Roopsha Samanta Dept. of Computer Science and Computer Engineering Research Centre, University of Texas, Austin, TX 78712, USA. {emerson,

Source URL: www.cs.purdue.edu

• Concurrency control
• Computing
• Edsger W. Dijkstra
• Concurrent computing
• Computer programming
• Concurrency
• Transaction processing
• Synchronization
• Lock
• Monitor
• Parallel computing
• Granularity

Secure PRNGs from Specialized Polynomial Maps over Any Fq Feng-Hao Liu1 , Chi-Jen Lu2 , and Bo-Yin Yang2 1 Department of Computer Science, Brown University, Providence RI, USA

Source URL: precision.moscito.org

• Cryptography
• Mathematics
• Polynomials
• Multivariate cryptography
• Algebra
• Pseudorandom number generator
• Computer algebra
• Hidden Field Equations
• QUAD
• Field extension
• Cryptographically secure pseudorandom number generator
• Mersenne Twister

Poster: (SF)2 I - Structure Field Software Fault Isolation Spyridoula Gravani, Zhuojia Shen, John Criswell Department of Computer Science, University of Rochester Email: {sgravani, zshen10, criswell}@cs.rochester.edu Ab

Source URL: www.ieee-security.org

• Computer architecture
• System software
• Operating system kernels
• Linux kernel
• Monolithic kernels
• Kernel
• Loadable kernel module
• Protection ring
• Operating system
• Mach
• Rootkit
• Mandatory access control

The Unbearable Lightness of Monitoring: Direct Monitoring in BitTorrent Tom Chothia, Marco Cova, Chris Novakovic, and Camilo Gonz´alez Toro School of Computer Science, University of Birmingham, UK Abstract. It is known

Source URL: www.cs.bham.ac.uk

• BitTorrent
• Peer-to-peer file sharing
• File sharing
• Computing
• Comparison of BitTorrent clients
• Torrent file
• The Pirate Bay
• Copyright infringement
• Peer-to-peer
• Peer exchange
• Torrent poisoning

NSADAbstract Domains for Type Juggling Vincenzo Arceri1 Department of Computer Science, University of Verona, Italy

Source URL: www.doc.ic.ac.uk

• Software engineering
• Computing
• Computer programming
• Procedural programming languages
• Programming languages
• Logic in computer science
• Programming language semantics
• Abstract interpretation
• Operational semantics
• ALGOL 68
• Syntax
• Programming language

Probabilistic Point-to-Point Information Leakage Tom Chothia∗ , Yusuke Kawamoto∗ , Chris Novakovic∗ and David Parker∗ ∗ School of Computer Science University of Birmingham, Birmingham, UK Abstract—The output

Source URL: www.cs.bham.ac.uk

• Mathematical analysis
• Mathematics
• Experiment
• Information theory
• Statistical theory
• Measure theory
• Random variable
• Statistical randomness
• Sigma-algebra
• Probability distribution
• Joint probability distribution
• Probability space

Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries Shumo Chu, Brendan Murphy, Jared Roesch, Alvin Cheung, Dan Suciu Paul G. Allen School of Computer Science and Engineering University

Source URL: www.vldb.org

ARCHITECTURES FOR TRANSACTIONAL MEMORY A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES OF STANFORD UNIVERSITY

Source URL: www.austenmcdonald.com

• Concurrency control
• Transaction processing
• Computing
• Data management
• System software
• Transactional memory
• Benchmark
• Lock
• Parallel computing
• Linearizability
• Consistency model

PRISM 4.0: Verification of Probabilistic Real-time Systems Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK

Source URL: qav.comlab.ox.ac.uk

• Model checkers
• Application software
• PRISM model checker
• Systems science
• Mathematics
• Model checking
• Uppaal Model Checker
• Probabilistic automaton
• PAT
• Hybrid system
• Markov chain

Compositional Controller Synthesis for Stochastic Games Nicolas Basset, Marta Kwiatkowska, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. Design of autonomous systems

Source URL: www.prismmodelchecker.org

• Mathematical analysis
• Measure theory
• Ergodic theory
• Lie algebras
• Stochastic processes